Fix the logic in vcpu_sleep_sync(): we must wait until
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Tue, 13 Sep 2005 19:09:44 +0000 (19:09 +0000)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Tue, 13 Sep 2005 19:09:44 +0000 (19:09 +0000)
commit5bcdcd40ecf4780fe12c2cd554ac1f3bdf68b71b
treeea3cebc7b0efb2ed03c96bfe4fafc2c7e8dad26c
parent1f0c99978fcd9fa3f17717292fd84cc99a7a3aa4
Fix the logic in vcpu_sleep_sync(): we must wait until
the running flag is cleared *and* the scheduler lock is
released. Not just one or the other.

Signed-off-by: Ryan Harper <ryanh@us.ibm.com>
xen/common/schedule.c